Formal methods - PDFSEARCH.IO - Document Search Engine

Formal methods
Results: 2204

#	Item
301	Capturing Proof Process Andrius Velykis A thesis submitted for the degree of Doctor of Philosophy Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2015-07-12 08:18:06 Automated theorem proving Formal methods Theoretical computer science Proof theory Logic in computer science Mathematical proof Proof assistant Isabelle Theorem Proof Formal verification
302	LNCSA Tutorial on Satisfiability Modulo Theories Add to Reading List Source URL: yices.csl.sri.com Language: English - Date: 2015-12-11 18:43:06 Theoretical computer science Mathematical logic Mathematics Constraint programming Automated theorem proving Electronic design automation Formal methods NP-complete problems Boolean satisfiability problem DPLL algorithm Symbol Conjunctive normal form
303	Zollman Formal Methods (TH 3:00): Homework 2 Problem 1 Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2015-10-22 14:27:36
304	Developing Corpus-based Translation Methods between Informal and Formal Mathematics Cezary Kaliszyk (supported by FWF grant P26201), Josef Urban, Jiˇr´ı Vyskoˇcil, Herman Geuvers Goal Add to Reading List Source URL: mws.cs.ru.nl Language: English - Date: 2014-07-28 07:40:40 Mathematics Automated theorem proving Theoretical computer science Logic Formal methods Artificial intelligence Automated reasoning Reasoning Mathematical proof Theorem Mizar Parsing
305	Programs and Proofs Mechanizing Mathematics with Dependent Types Lecture Notes Ilya Sergey Draft of August 19, 2015 Add to Reading List Source URL: ilyasergey.net Language: English - Date: 2016-03-01 06:31:32 Mathematical logic Theoretical computer science Mathematics Type theory Logic in computer science Automated theorem proving Formal methods Coq Automated reasoning Proof assistant Separation logic Functional programming
306	The SeaHorn Verification Framework (Invited Talk) Arie Gurfinkel Software Engineering Institute Carnegie Mellon University USA Add to Reading List Source URL: refal.botik.ru Language: English - Date: 2015-02-17 18:28:20 Software testing Formal methods Software verification Logic in computer science
307	In Proceedings of SPIE Conference on Multi-sensor, Multi-source Information Fusion, pages, Orlando, AprilDerivation of ontological relations using formal methods in a situation awareness scenario Christop Add to Reading List Source URL: www.vistology.com Language: English - Date: 2004-04-21 16:04:57
308	First-Order Logic for the Analysis of Programs on Weak Memory Models Alexei Lisitsa Department of Computer Science University of Liverpool, Liverpool, UK Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2015-09-02 07:29:35 Model checking First-order logic Mathematical logic Logic in computer science Formal methods Theory of computation
309	A Fast Linear-Arithmetic Solver for DPLL(T) Bruno Dutertre and Leonardo de Moura Computer Science Laboratory, SRI International, 333 Ravenswood Avenue, Menlo Park, CA 94025, USA {bruno, demoura}@csl.sri.com Add to Reading List Source URL: yices.csl.sri.com Language: English - Date: 2015-12-11 18:43:06 Theoretical computer science Logic Mathematics Constraint programming Electronic design automation Formal methods Logic in computer science NP-complete problems Satisfiability modulo theories Boolean satisfiability problem Simplex algorithm Satisfiability
310	Secure Protocols for Secrecy Hanane Houmani and Mohamed Mejri LSFM Research Group Computer Science Department LAVAL University Quebec, Canada Add to Reading List Source URL: www.qatar.cmu.edu Language: English - Date: 2004-12-05 23:21:27 Cryptography Theoretical computer science E-commerce Secure communication Model checking Cryptographic protocol Public-key cryptography Communications protocol Formal methods Computer security Secure multi-party computation

UPDATE